منابع مشابه
An algebra of hybrid systems
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, whic...
متن کاملTowards an Algebra of Hybrid Systems
We present a trajectory-based model for describing hybrid systems. For this we use left quantales and left semirings, thus providing a new application for these algebraic structures. Furthermore, we sketch a connection between game theory and hybrid systems.
متن کاملProcess algebra for hybrid systems
We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed process algebra makes it possible to deal with the behav...
متن کاملA Process Algebra for Hybrid Systems
The work that is presented here was initiated by question of a colleague from the mechanical engineering department. He was analysing several industrial manufacturing processes (a tire production line, a cookie baking line, etc.). These processes were modeled in a procedural kind of programming language (called “χ” [AvdMR94]) extended with hybrid features such as continuous variables defined by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2009
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2008.08.005